Pseudo-Boolean Optimization: Theory and Applications in Vision
نویسندگان
چکیده
Many problems in computer vision, such as stereo, segmentation and denoising can be formulated as pseudo-boolean optimization problems. Over the last decade, graphs cuts have become a standard tool for solving such problems. The last couple of years have seen a great advancement in the methods used to minimize pseudoboolean functions of higher order than quadratic. In this paper, we give an overview of how one can optimize higherorder functions via generalized roof duality and how it can be applied to problems in image analysis and vision. I. PSEUDO-BOOLEAN OPTIMIZATION A pseudo-boolean function is a function from the set of boolean vectors of dimension n, denoted B = {0, 1}, to the reals. Any pseudo-boolean f can be uniquely represented by a multilinear polynomial of the form
منابع مشابه
Weighted stability number of graphs and weighted satisfiability: The two facets of pseudo-Boolean optimization
We exhibit links between pseudo-Boolean optimization, graph theory and logic. We show the equivalence of maximizing a pseudo-Boolean function and finding a maximum weight stable set; symmetrically minimizing a pseudo-Boolean function is shown to be equivalent to solving a weighted satisfiability problem.
متن کاملClasses of Submodular Constraints Expressible by Graph Cuts ∗ Stanislav
Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the theory of combinatorial optimisation, that instances of VCSPs with submodular constraints can be minimised in polynomial time. However, the general algorithm is of order O(n) and hence rather impractical. In this paper...
متن کاملON THE FUZZY SET THEORY AND AGGREGATION FUNCTIONS: HISTORY AND SOME RECENT ADVANCES
Several fuzzy connectives, including those proposed by Lotfi Zadeh, can be seen as linear extensions of the Boolean connectives from the scale ${0,1}$ into the scale $[0,1]$. We discuss these extensions, in particular, we focus on the dualities arising from the Boolean dualities. These dualities allow to transfer the results from some particular class of extended Boolean functions, e.g., from c...
متن کاملFacility Location: Discrete Models and Local Search Methods
Discrete location theory is one of the most dynamic areas of operations research. We present the basic mathematical models used in this field, as well as their properties and relationship with pseudo-Boolean functions. We also investigate the theory of PLS-complete problems, average and worst case computational complexity of the local search algorithms, and approximate local search. Finally, we...
متن کاملFuzzy Measures and Integrals: Recent Developments
This paper gives a survey of the research done on fuzzy measures and integrals since Sugeno proposed in 1974 the concept of fuzzy measure, with an emphasis on recent results. This field of research lies at the intersection of several independent domains, which makes it very active and attractive, namely, measure theory, theory of aggregation functions, cooperative game theory, combinatorial opt...
متن کامل